例句與造句

1. Weakly terminating property in a restricted domain of a term rewriting system , one with structural induction , one with cover - set induction , and the third without induction , and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus
   基于覆蓋集合歸納法的項重寫系統(tǒng)弱基終止性證明的機械化論文提出一種關(guān)于一般化了的項重寫系統(tǒng)弱基終止性，即，在特定領(lǐng)域的項重寫系統(tǒng)弱終止性的形式自動證明方法。
2. It's difficult to find structural induction in a sentence. 用structural induction造句挺難的